Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
451	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
452	Cellular Automata as Algebraic Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Combinatory logic Lambda calculus Logic in computer science Group action Groupoid Abstract algebra Mathematics Algebra
453	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
454	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Formal methods Theoretical computer science Type theory Variables Closure Free variables and bound variables Constant folding Combinatory logic Software engineering Mathematics Computing
455	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
456	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: www.cypherpunks.to Language: English - Date: 2008-03-14 04:27:53 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
457	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
458	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
459	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Elementary mathematics Lambda calculus Data types Environmental science Parameter Static single assignment form Function Data-flow analysis Control flow analysis Mathematics Software engineering Variables
460	Decomposition of the spectrum of a bounded linear operator Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:18:11 Operator theory Spectral theory Decomposition of spectrum Spectrum Hilbert space Eigenvalues and eigenvectors Fredholm operator Compact operator Lambda calculus Algebra Mathematical analysis Mathematics

UPDATE